add concreteness

Examples

Nothing found